A second-order axiomatic theory of strings.
نویسندگان
چکیده
منابع مشابه
Existential Second-order Logic over Strings Existential Second-order Logic over Strings – Modified March 1998 –
Existential second-order logic (ESO) and monadic second-order logic (MSO) have attracted much interest in logic and computer science. ESO is a much more expressive logic over word structures than MSO. However, little was known about the relationship between MSO and syntactic fragments of ESO. We shed light on this issue by completely characterizing this relationship for the prefix classes of ES...
متن کاملAmbiguity Aversion: An Axiomatic Approach Using Second Order Probabilities
This paper presents an axiomatic characterization of preferences which allow ambiguity aversion. It is assumed that decision makers treat risky lotteries and ambiguous lotteries separately, with preferences governed by the von Neumann-Morgenstern axioms for risk and a variant of the Savage axioms for ambiguity. These axioms imply that the decision maker chooses among risks according to expected...
متن کاملA Theory of Second-Order Trees
This paper describes a theory of second-order trees, that is, finite and infinite trees where nodes of the tree can bind variables that appear further down in the tree. Such trees can be used to provide a natural and intuitive interpretation for type systems with equirecursive types and binding constructs like universal and existential quantifiers. The paper defines the set of binding trees, an...
متن کاملToward a Theory of Second-Order Consequence
We develop an account of logical consequence for the second-order language of set theory in the spirit of Boolos’s plural interpretation of monadic second-order logic. There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlyi...
متن کاملSome Second Order Set Theory
Set theory is the study of sets, particularly the transfinite, with a focus on well-founded transfinite recursion. Began with Cantor in late 19th century, matured in mid 20th century. Set theory today is vast: independence, large cardinals, forcing, combinatorics, the continuum, descriptive set theory,... Set theory also serves as an ontological foundation for all (or much of) mathematics. Math...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1978
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888511